Augmented Backup-Naur form